|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Detection of Expressions with Undefined Behavior in C Language
Hellebrandt, Lukáš ; Vojnar, Tomáš (oponent) ; Müller, Petr (vedoucí práce)
This thesis engages in detection of undefined behavior in the C language programs. We focus on undefined behavior stemming from incorrect work with sequence points and side effects. We perform a theoretical analysis and put terms like undefined behavior or side effect in context of the paper. Furthermore, we explain dangerousness of the constructs leading to undefined behavior. We propose a method for automated detection of the mentioned kind of undefined behavior. Finally, we design and implement a tool for its automated static detection and show the principles of the tool’s function. While designing the tool, contrary to current solutions, we stress functionality even in cases like accessing the memory via a pointer or from a called function. The thesis contains examples of dangerous constructs, functions of the created tool are demonstrated on some of them.
|
|
|
Radioterapie karcinomu prostaty konvenční technikou a její toxicita
ZBOŘILOVÁ, Marika
Radioterapie maligních onemocnění je i přes značný technický pokrok stále doprovázena nežádoucími účinky. Adenokarcinom prostaty patří mezi nádory dávkově závislé, pro které platí, že čím větší je počet nádorových buněk, tím vyšší dávka musí být aplikována na nádorové ložisko k jeho destrukci. Dodaná dávka na lůžko maligního tumoru prostaty musí dosáhnout alespoň 70 Gy, další navyšování dávky při užití konvenční techniky radioterapie je limitováno okolními kritickými orgány. Kritickými orgány malé pánve je střevo a močové ústrojí. Tomu odpovídají také nejčastější akutní nežádoucí účinky: proktitida, průjmy, tenesmy, dysurie a obtížné močení. Větší četnost nežádoucích účinků nastává při kombinaci chirurgické léčby a radioterapie (adjuvantní radioterapie). Tvrzní z odborné literatury jsem ověřila vlastními výsledky, které jsem získala od 192 nemocných léčených na Onkologickém oddělení Nemocnice České Budějovice a.s. v letech 2003 ? 2006.
|
host ::
RSS.